 |
Your search returned 9 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 03 |
Cecil A Sequencing Constraint Language For Automatic Static Analysis Generation
(Article)
Subject:
Dataflow Analysis
,
Finite State Machines
,
Sequencing Batch Reactor (Sbr)
Author:
Leon J.
Osterweil
Kurt M.
Olender
page:
268
-
280
Data Driven Prallel Parallel Production Systems
(Article)
Subject:
Expert Systems
,
Pattern Matching
,
Production Schedule
Author:
Jean-Luc
Gaudiot
Andrew
Sohn
page:
281
-
293
Turing Tool A User Interface To Aid In The Software Maintenance Task
(Article)
Subject:
Programming Environments
,
Programming Languages
,
Turing Reduction
Author:
James R.
Cordy
Nicholas L.
Eliot
Michael G.
Robertson
page:
294
-
301
Multiversion Cautious Schedulers For Database Concurrency Control
(Article)
Subject:
Complexity
,
Concurrency
,
Scheduling
Author:
Tohihide
Ibaraki
Tiko
Kameda
Naoki
Katoh
page:
302
-
315
Automated Test Case Generation For Programs Specified By Relational Algebra Queries
(Article)
Subject:
Automated Test Stand
,
Domain
,
Relational View
Author:
W. I
Tsai
Dmitry
Volovik
page:
316
-
324
The C Information Abstraction Sytem
(Article)
Subject:
Hierarchical
,
Software Reliability
,
Software Restructuring
Author:
Yih-Farn
Chen
C.V.
Ramamoorthy
page:
325
-
334
Towards Banishing The Cut From Prolog
(Article)
Subject:
Optimization
,
Program Transformations
,
Prolog
Author:
Samya K.
Debray
David S.
Warren
page:
335
-
349
Modeling Of Correlated Failures And Community Error Recovery In Multiversion Software
(Article)
Subject:
Error Recovery
,
Fault-Tolerance
,
Multiveriable Systems
Author:
Victor F.
Nicola
Ambuj
Goyal
page:
350
-
359
Scheduling Processes With Release Times, Deadlines, Precedence, And Exclusion Relations
(Article)
Subject:
Automated Pcba Rework
,
Deadline
,
Scheduling
Author:
Jia
Xu
David Lorge
Parnas
page:
360
-
369
|
|
| | |
